dfa binary divisible by 3